/* Benchmarks for the PionterC verifier. */


struct tree {
  int data;
  struct tree * left;
  struct tree * right;
};


/*@depth>=0*/
struct tree *  buildTree(struct tree * root, int depth)
{
  int i;
  struct tree * p,q;
  i=0;
  if (depth==0)
    return root;
  else {
    q=alloc(struct tree);
    q->left=null;
    q->right=null;
    p=alloc(struct tree);
    p->left=null;
    p->right=null;
    q->data=depth;
    p->data=depth;
    root->left=buildTree(p,depth-1);
    root->right=buildTree(p,depth-1);
    return root;
  }	
}
/*@result==root*/


/*@*/
void printTree(struct tree * root)
{
  if(root!=null)
  {
    print(root->data);
    printTree(root->left);
    printTree(root->right);
    return;
  }
  else return;
}
/*@*/


/*@*/
void main()
{
  struct tree *root ;
  root = alloc(struct tree);
  //root = null;
  root->data=5;
  return;
}
/*@*/
 